2章 並行性をどうモデル化するか：CSPとは何か